Package abstraction

Class Summary
Action This class manages a action of transition Function
AvailableServices This Class manages a community, an ArrayList of Avalialble Service
CartesianProduct This class executes carthisian product.
ConvertPdf This class has only a one method that takes a PDF file, reads and transform it in a String.
OnlyReadIterator<T> This class manages a only read Iterator where remove operation is forbidden
ReadFile This class is useful to take a service and to read it.
Service This class has methods to get different kind of informations on a service.
State This class manages a state of transition Function
StateAction This Class maintains informations about the pair present state and action
TransitionFunction This Class maintains informations about the triple present state, action, next state of one Service.
 

Exception Summary
WrongFileException This class manages an Exception.